摘要 :
This paper identifies the need for human error analysis of inter-task relationships performed by Sailors on naval combatants in an effort to reduce safety risk. Sailors are required to perform tasks throughout the day to maintain ...
展开
This paper identifies the need for human error analysis of inter-task relationships performed by Sailors on naval combatants in an effort to reduce safety risk. Sailors are required to perform tasks throughout the day to maintain operational effectiveness of their systems. The relationship between these tasks and how the completion of a previous task will affect the outcome of the next, needs to be addressed. The increase on the complexity of a task and number of tasks assigned, coupled with maximum utilization of available man-hours, can lead to a higher probability of human error. This is especially true today as there is an increase in demand on an individual Sailor's task-load due to the greater complexity of naval systems. Additionally, this paper will discuss the need to consider the cognitive and physical nature of tasks to analyze how human error can be identified and subsequently reduced.
收起
摘要 :
This paper identifies the need for human error analysis of inter-task relationships performed by Sailors on naval combatants in an effort to reduce safety risk. Sailors are required to perform tasks throughout the day to maintain ...
展开
This paper identifies the need for human error analysis of inter-task relationships performed by Sailors on naval combatants in an effort to reduce safety risk. Sailors are required to perform tasks throughout the day to maintain operational effectiveness of their systems. The relationship between these tasks and how the completion of a previous task will affect the outcome of the next, needs to be addressed. The increase on the complexity of a task and number of tasks assigned, coupled with maximum utilization of available man-hours, can lead to a higher probability of human error. This is especially true today as there is an increase in demand on an individual Sailor's task-load due to the greater complexity of naval systems. Additionally, this paper will discuss the need to consider the cognitive and physical nature of tasks to analyze how human error can be identified and subsequently reduced.
收起
摘要 :
The most straight forward approach to requirements elicitation is to provide a direct transformation from the user's task descriptions to analysis models. A detailed description of tasks is formalized in ontology. Using the task o...
展开
The most straight forward approach to requirements elicitation is to provide a direct transformation from the user's task descriptions to analysis models. A detailed description of tasks is formalized in ontology. Using the task ontology it is possible to create templates to facilitate transforming tasks to both use cases and data flow diagrams. In this paper, a new user-oriented approach for task analysis is presented to decrease process in analysis systems.
收起
摘要 :
The most straight forward approach to requirements elicitation is to provide a direct transformation from the user's task descriptions to analysis models. A detailed description of tasks is formalized in ontology. Using the task o...
展开
The most straight forward approach to requirements elicitation is to provide a direct transformation from the user's task descriptions to analysis models. A detailed description of tasks is formalized in ontology. Using the task ontology it is possible to create templates to facilitate transforming tasks to both use cases and data flow diagrams. In this paper, a new user-oriented approach for task analysis is presented to decrease process in analysis systems.
收起
摘要 :
The most straight forward approach to requirements elicitation is to provide a direct transformation from the user's task descriptions to analysis models. A detailed description of tasks is formalized in ontology. Using the task o...
展开
The most straight forward approach to requirements elicitation is to provide a direct transformation from the user's task descriptions to analysis models. A detailed description of tasks is formalized in ontology. Using the task ontology it is possible to create templates to facilitate transforming tasks to both use cases and data flow diagrams. In this paper, a new user-oriented approach for task analysis is presented to decrease process in analysis systems.
收起
摘要 :
An innovative framework, based on the symmetric Sugeno integral, is proposed in this paper to calculate confidence aggregation. The symmetric Sugeno integral implements non-additive (fuzzy) integration and is shown to have the des...
展开
An innovative framework, based on the symmetric Sugeno integral, is proposed in this paper to calculate confidence aggregation. The symmetric Sugeno integral implements non-additive (fuzzy) integration and is shown to have the desired and unique properties to handle contradictory evidence, support commutivity (solution invariance under the ordering of aggregation sequences) and demonstrate idempotence (identity operations). One size does not fit all in the proposed solution: Each community of domain-specific analysts will use their own, local mapping to a shared scale which is valid across the entire analyst enterprise. This paper contributes the first known approach to the long-standing confidence aggregation problem that is undertaken purely in the ordinal domain, without empirical projection onto the numerical domain. The paper also describes the first known application of the (symmetric) Sugeno integral to intelligence evidence handling. Worked examples exercise the proposed solution to an unaddressed but sought capability in analytical tradecraft, which recognises the diversity of evidence set contributions to different intelligence tasks.
收起
摘要 :
This study aims at investigating the effects of worked examples when they are shown before a sequence of isomorphic problems in a step-based algebraic Intelligent Tutoring System (ITS). We carried out an experiment with 54 student...
展开
This study aims at investigating the effects of worked examples when they are shown before a sequence of isomorphic problems in a step-based algebraic Intelligent Tutoring System (ITS). We carried out an experiment with 54 students in a private school from southern Brazil, during six weeks, in which the participants were randomly assigned to a control group (ITS without worked examples) and an experimental group (ITS with worked examples). Although we were not able to find any difference between the learning gain of the control and experimental groups, the analysis of system logs showed that the average time per equation and the average time per solving step was lower (marginally significant) in the experimental group in the course of similar problems. We also found that the students in the experimental group spent less time solving the equations and its steps than students in the control group for the problems that were solved right after the presentation of the worked example. The results showed evidence that the learning efficiency in intelligent tutoring systems can be improved through an approach that presents a worked example at the beginning of a sequence of similar equations, with significant effect in the first equation after the worked example.
收起
摘要 :
This study aims at investigating the effects of worked examples when they are shown before a sequence of isomorphic problems in a step-based algebraic Intelligent Tutoring System (ITS). We carried out an experiment with 54 student...
展开
This study aims at investigating the effects of worked examples when they are shown before a sequence of isomorphic problems in a step-based algebraic Intelligent Tutoring System (ITS). We carried out an experiment with 54 students in a private school from southern Brazil, during six weeks, in which the participants were randomly assigned to a control group (ITS without worked examples) and an experimental group (ITS with worked examples). Although we were not able to find any difference between the learning gain of the control and experimental groups, the analysis of system logs showed that the average time per equation and the average time per solving step was lower (marginally significant) in the experimental group in the course of similar problems. We also found that the students in the experimental group spent less time solving the equations and its steps than students in the control group for the problems that were solved right after the presentation of the worked example. The results showed evidence that the learning efficiency in intelligent tutoring systems can be improved through an approach that presents a worked example at the beginning of a sequence of similar equations, with significant effect in the first equation after the worked example.
收起
摘要 :
Understanding mathematical proofs is often not an easy task, especially in the first introductions. One of the determining factors in understanding a mathematical proof is the level of detail at which it is presented. In order to ...
展开
Understanding mathematical proofs is often not an easy task, especially in the first introductions. One of the determining factors in understanding a mathematical proof is the level of detail at which it is presented. In order to help resolve this issue, this article proposes a method for adapting the granularity in which a mathematical proof is presented. It makes use of structured theorems in metamath language as a basis, which allows access to the details of each step used in the proof. To describe the method, an example is presented with a simple theorem involving numerical sets.
收起